- axiomatic set theory
- аксиоматическая теория множеств
English-Russian dictionary of computer science and programming. 2013.
axiomatic set theory
Смотреть что такое "axiomatic set theory" в других словарях:
set theory — the branch of mathematics that deals with relations between sets. [1940 45] * * * Branch of mathematics that deals with the properties of sets. It is most valuable as applied to other areas of mathematics, which borrow from and adapt its… … Universalium
Set theory — This article is about the branch of mathematics. For musical set theory, see Set theory (music). A Venn diagram illustrating the intersection of two sets. Set theory is the branch of mathematics that studies sets, which are collections of objects … Wikipedia
Naive set theory — This article is about the mathematical topic. For the book of the same name, see Naive Set Theory (book). Naive set theory is one of several theories of sets used in the discussion of the foundations of mathematics.[1] The informal content of… … Wikipedia
Constructive set theory — is an approach to mathematical constructivism following the program of axiomatic set theory. That is, it uses the usual first order language of classical set theory, and although of course the logic is constructive, there is no explicit use of… … Wikipedia
Quasi-set theory — is a formal mathematical theory of collections of indistinguishable objects, mainly motivated by the assumption that certain objects treated in quantum physics are indistinguishable. Quasi set theory is closely related to, yet distinct from,… … Wikipedia
General set theory — (GST) is George Boolos s (1998) name for a three axiom fragment of the canonical axiomatic set theory Z. GST is sufficient for all mathematics not requiring infinite sets, and is the weakest known set theory whose theorems include the Peano… … Wikipedia
Ackermann set theory — is a version of axiomatic set theory proposed by Wilhelm Ackermann in 1956. The languageAckermann set theory is formulated in first order logic. The language L A consists of one binary relation in and one constant V (Ackermann used a predicate M… … Wikipedia
Union (set theory) — Union of two sets … Wikipedia
Morass (set theory) — For the variety of wetland, see marsh. In axiomatic set theory, a mathematical discipline, a morass is an infinite combinatorial structure, used to create large structures from a small number of small approximations. They were invented by Ronald… … Wikipedia
Zermelo–Fraenkel set theory — Zermelo–Fraenkel set theory, with the axiom of choice, commonly abbreviated ZFC, is the standard form of axiomatic set theory and as such is the most common foundation of mathematics.ZFC consists of a single primitive ontological notion, that of… … Wikipedia
Scott–Potter set theory — An approach to the foundations of mathematics that is of relatively recent origin, Scott–Potter set theory is a collection of nested axiomatic set theories set out by the philosopher Michael Potter, building on earlier work by the mathematician… … Wikipedia
